Everything about Orthogonality Term Rewriting totally explained
Orthogonality as a property of
term rewriting systems describes where the reduction rules of the system are all left-linear, that's each variable occurs only once on the left hand side of each reduction rule, and there's no
overlap between them.
Orthogonal term rewriting systems have the consequent property that all reducible expressions (redexes) within a term are completely disjoint -- that is, the redexes share no common function symbol.
For example, the term rewriting system with reduction rules
»
is orthogonal -- it's easy to observe that each reduction rule is left-linear, and the left hand side of each reduction rule shares no function symbol in common, so there's no overlap.
Orthogonal term rewriting systems are
confluent.
Further Information
Get more info on 'Orthogonality Term Rewriting'.
|
External Link Exchanges
Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:
<a href="http://orthogonality__term_rewriting.totallyexplained.com">Orthogonality (term rewriting) Totally Explained</a>
Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned. |
